Communication Machines as Art

Art as Communication

Abstract Art as communication: Employing Gricean Principles of Communication as a Model for Art Appreciation by

Art as communication: Employing Gricean Principles of Communication as a Model for Art Appreciation

Art as Communication: Employing Gricean Principles of Communication as a Model for Art Appreciation

Art as communication: Employing Gricean Principles of Communication as a Model for Art Appreciation

Abstract Machines for Communication Security

We use an existing formal software developement method called B in order to build and verify specica-tions of a communication channel, cryptographic functions and security properties. We show on an example how these basic specications may be combined in order to write abstract specications of cryptographic protocols and to verify their security. 1 Introduction Security evaluation criteria recom...

Communication in Abstract State Machines

Up to recently the majority of applications of the Abstract State Machines method for design and verification of computational systems used the shared variable approach. However in particular with distributed systems only various forms of communication may be available to share information. We define communicating ASMs by using instead of shared locations an explicit, abstract concept of Sendin...